ATLAS IBL Pixel Upgrade

The upgrade for ATLAS detector will undergo different phase towards super-LHC. The first upgrade for the Pixel detector will consist of the construction of a new pixel layer which will be installed during the first shutdown of the LHC machine (LHC phase-I upgrade). The new detector, called Insertable B-Layer (IBL), will be inserted between the existing pixel detector and a new (smaller radius) beam-pipe at a radius of 3.3 cm. The IBL will require the development of several new technologies to cope with increase of radiation or pixel occupancy and also to improve the physics performance which will be achieved by reducing the pixel size and of the material budget. Three different promising sensor technologies (planar-Si, 3D-Si and diamond) are currently under investigation for the pixel detector. An overview of the project with particular emphasis on pixel module is presented in this paper.Comment: 3 pages, 3 figures, presented at the 12th Topical Seminar on Innovative Particle and Radiation Detectors (IPRD10) 7 - 10 June 2010, Siena (IT). Accepted by Nuclear Physics B (Proceedings Supplements) (2011

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation. Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis. Certifying the loop pipelining algorithm is challenging because there is a huge semantic gap between the input sequential design and the output pipelined implementation making it infeasible to verify their equivalence with automated sequential equivalence checking techniques. We discuss our ongoing effort using ACL2 to certify loop pipelining transformation. The completion of the proof is work in progress. However, some of the insights developed so far may already be of value to the ACL2 community. In particular, we discuss the key invariant we formalized, which is very different from that used in most pipeline proofs. We discuss the needs for this invariant, its formalization in ACL2, and our envisioned proof using the invariant. We also discuss some trade-offs, challenges, and insights developed in course of the project.Comment: In Proceedings ACL2 2014, arXiv:1406.123

Study of aquatic biodiversity and correlation with physical parameters of Jalangi river

The present study is concerned to assess the present status of aquatic biodiversity and its correlation with few physical parameters of river Jalangi. The study shows more than 35 species of freshwater fishes, eight species of zooplanktons, four species of dragonflies and two species of damselflies, few species of mollusks, which reflects that the river Janangi is full of diversity with respect to flora and fauna. The river is full of eel grass. River Jalangi is also a habitat of water striders, few crab species and aquatic snakes. In few areas, pollution may affect the present ecological status of Jalangi River in near future. This preliminary study identifies the overall biodiversity status of Jalangi. However, more work in this direction is required to make complete database on floral and faunal diversity of this river. DOI: http://dx.doi.org/10.5281/zenodo.451652

An overview of floral and faunal diversity in and around Barrackpore Rastraguru Surendranath College Campuses, West Bengal, India

The present survey based study involves the qualitative diversity of flora and fauna. The diversity assessment was carried out at two campuses of Barrackpore Rastraguru Surendranath College. This extensive study reveals the presence of 256 floral species and 165 faunal species in and around college campuses. The huge faunal diversity is mainly due to high level of floral diversity, which establishes the area as resource-rich habitat with promising reservoir of species. This is the very first effort in exploring the natural wealth of Barrackpore Rastraguru Surendranath College campuses. DOI: http://dx.doi.org/10.5281/zenodo.369591